#include <stdio.h>
#include <stdarg.h>
#include "core.h"

void core_display( char * format, ... )
{
	va_list args;
	va_start( args, format );
	vprintf( format, args );
	va_end( args );
}
